Config.mk: update mini-os changeset
authorWei Liu <wei.liu2@citrix.com>
Wed, 14 Dec 2016 14:44:33 +0000 (14:44 +0000)
committerWei Liu <wei.liu2@citrix.com>
Wed, 14 Dec 2016 14:44:33 +0000 (14:44 +0000)
commit713b23ccd1e6c9188b9beb52494e4a4196329056
tree5e966ff6d5238320c2e17e4091e92ff6f977e419
parent0738d6fe7116cc2398bcb557c957ab38b712fe96
Config.mk: update mini-os changeset

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Config.mk